<?php
	echo "</body></html>";
?>